翻訳と辞書
Words near each other
・ Reduction (Sweden)
・ Reduction criterion
・ Reduction drive
・ Reduction fishery
・ Reduction formula
・ Reduction in rank
・ Reduction of capital
・ Reduction of Hours of Work (Glass-Bottle Works) Convention, 1935 (shelved)
・ Reduction of Hours of Work (Public Works) Convention, 1936
・ Reduction of Hours of Work (Textiles) Convention, 1937
・ Reduction of military conscription in Cyprus
・ Reduction of nitro compounds
・ Reduction of order
・ Reduction of summands
・ Reduction of the French fortresses in 1815
Reduction of the structure group
・ Reduction potential
・ Reduction print
・ Reduction strategy
・ Reduction strategy (code optimization)
・ Reduction strategy (lambda calculus)
・ Reduction to practice
・ Reductionism
・ Reductionism (music)
・ Reductions with diimide
・ Reductions with hydrosilanes
・ Reductions with metal alkoxyaluminium hydrides
・ Reductions with samarium(II) iodide
・ Reductive amination
・ Reductive art


Dictionary Lists
翻訳と辞書 辞書検索 [ 開発暫定版 ]
スポンサード リンク

Reduction of the structure group : ウィキペディア英語版
Reduction of the structure group

In mathematics, in particular the theory of principal bundles, one can ask if a principal G-bundle over a group G "comes from" a subgroup H of G. This is called reduction of the structure group (to H), and makes sense for any map H \to G, which need not be an inclusion map (despite the terminology).
==Definition==
Formally, given a ''G''-bundle ''B'' and a map ''H'' → ''G'' (which need not be an inclusion),
a reduction of the structure group (from ''G'' to ''H'') is an ''H''-bundle B_H and an isomorphism of the associated bundle B_H \times^H G to ''B''.
Note that these do not always exist, nor if they exist are they unique.
As a concrete example, every even-dimensional real vector space is isomorphic to the underlying real space of a complex vector space: it admits a linear complex structure. A real vector bundle admits an almost complex structure if and only if it is isomorphic to the underlying real bundle of a complex vector bundle. This is then a reduction along the inclusion ''GL''(''n'',C) → ''GL''(2''n'',R)
In terms of transition maps, a ''G''-bundle can be reduced if and only if the transition maps can be taken to have values in ''H''.
Note that the term ''reduction'' is misleading: it suggests that ''H'' is a subgroup of ''G'', which is often the case, but need not be (for example for spin structures): it's properly called a lifting.
More abstractly, "''G''-bundles over ''X''" is a functor〔Indeed, it is a bifunctor in ''G'' and ''X''.〕 in ''G'': given a map ''H'' → ''G'', one gets a map from ''H''-bundles to ''G''-bundles by inducing (as above). Reduction of the structure group of a ''G''-bundle ''B'' is choosing an ''H''-bundle whose image is ''B''.
The inducing map from ''H''-bundles to ''G''-bundles is in general neither onto nor one-to-one, so the structure group cannot always be reduced, and when it can, this reduction need not be unique. For example, not every manifold is orientable, and those that are orientable admit exactly two orientations.
If ''H'' is a Lie subgroup of ''G'', then there is a natural one-to-one correspondence between reductions of a ''G''-bundle ''B'' to ''H'' and global sections of the fiber bundle ''B''/''H'' obtained by quotienting ''B'' by the right action of ''H''. Specifically, the fibration ''B'' → ''B''/''H'' is a principal ''H''-bundle over ''B''/''H''. If σ : ''X'' → ''B''/''H'' is a section, then the pullback bundle ''B''H = σ−1''B'' is a reduction of ''B''.〔In classical field theory, such a section \sigma describes a classical Higgs field ((arXiv: hep-th/0510158 )).


抄文引用元・出典: フリー百科事典『 ウィキペディア(Wikipedia)
ウィキペディアで「Reduction of the structure group」の詳細全文を読む



スポンサード リンク
翻訳と辞書 : 翻訳のためのインターネットリソース

Copyright(C) kotoba.ne.jp 1997-2016. All Rights Reserved.